Wyniki
-
On discussive set theory
Lafayette de Moraes
Bulletin of the Section of Logic , 14 /4 (1985) s. 144-149 -
Polysemantic structure and semantic closedness of natural languages
Bogdan Djankov
Bulletin of the Section of Logic , 13 /3 (1984) s. 188-201 -
Some remarks about continuous Boolean algebras
Bogdan Sabalski
Bulletin of the Section of Logic , 2 /3 (1973) s. 192-193 -
Irredundant Decomposition of Algebras into One-Dimensional Factors
Bogdan Staruch
Bulletin of the Section of Logic , 45 /3-4 (2016) s. 215-240 -
Representation theorem for distributive pseudo-Boolean algebras
Cecylis Rauszer, Bogdan Sabalski
Bulletin of the Section of Logic , 3 /3-4 (1974) s. 17-21 -
Notes on the Rasiowa-Sikorski lemma
Cecylia Rauszer, Bogdan Sabalski
Bulletin of the Section of Logic , 4 /3 (1975) s. 109-113 -
Possible Sets of Equations
Bożena Staruch, Bogdan Staruch
Bulletin of the Section of Logic , 32 /1-2 (2003) s. 85-95 -
Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Parts
Bogdan Staruch, Bożena Staruch
Bulletin of the Section of Logic , 45 /3-4 (2016) s. 201-214 -
Descriptive Complexity of Modularity Problems on Graphs
Haroldo G. Benatti, Ruy J.G.B. de Queiroz
Bulletin of the Section of Logic , 34 /2 (2005) s. 61-75 -
On the Descriptive Complexity of the Two Disjoint Paths Problem Over Undirected Graphs
Haroldo G. Benatti, Ruy J.G.B. de Queiroz
Bulletin of the Section of Logic , 35 /4 (2006) s. 195-214 -
Weakly Free Multialgebras
Marcelo Esteban Coniglio, Guilherme Vicentin de Toledo
Bulletin of the Section of Logic , 51 /1 (2022) s. 109-141 -
On some higher-order predicate calculi
Elias H. Alves, Jose E. de Almeida Moura
Bulletin of the Section of Logic , 7 /2 (1978) s. 84 -
From finite to infinite lambda calculi
Richard Kennaway, Jan-Willem Klop, Ronan Sleep, Fer-Jan de Vries
Bulletin of the Section of Logic , 24 /1 (1995) s. 13-20